منابع مشابه
Thin Component Model A lightweight component model for small devices
This paper describes the Thin Component Model (TCM), a small and lightweight model for use in devices with limited resources. TCM components have properties, provide and require interfaces and are configurable via XML data. We explain the component definition and specification, it’s lifecycle, and the TCM environment. Using TCM components can help to build better structured systems, which are e...
متن کاملFormalizing Lightweight Verification of Software Component Composition
Software errors often occur at the interfaces between separately developed components. Incompatibilities are an especially acute problem when upgrading software components, as new versions may be accidentally incompatible with old ones. As an inexpensive mechanism to detect many such problems, previous work proposed a technique that adapts methods from formal verification to use component abstr...
متن کاملLightweight Component Models for Embedded Systems
Components are receiving attention as a means of advancing the state of software distribution beyond the traditional choices of source code, compiled binary executable, and compiled libraries. In this paper, we examine lightweight component models for embedded real-time software systems, and propose two different component models based on the concepts of actors and models of computation.
متن کاملUbicom program LIME project LightweIght formal Methods for distributed component - based Embedded systems
The goal of the project has been to develop new lightweight design and validation methods for distributed embedded software components which are easy to introduce in a conventional design ow in a stepwise manner. Executive Summary The results and achievements obtained in the project with respect to the project plan are summarized below. The project has reached its main goal of developing new te...
متن کاملA Lightweight Component-Based Reconfigurable Middleware Architecture and State Ontology for Fault Tolerant Embedded Systems
In this paper, we introduce a component-based software architecture that facilitates reconfigurability and state migration in a semantically correct manner for fault tolerant systems. The main focus and contribution of the paper is on the ontology framework that is based on object orientation techniques for coherent reconfiguration of software components in the events of faults at runtime, pres...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal on Digital Libraries
سال: 2008
ISSN: 1432-5012,1432-1300
DOI: 10.1007/s00799-008-0047-8